https://dasbestelexikon.de/en/wiki/Institute_for_Logic,_Language_and_Computation